-
1 existence proof
Большой англо-русский и русско-английский словарь > existence proof
-
2 existence proof
-
3 existence proof
Математика: доказательство существования -
4 existence proof
-
5 existence proof
доказательство существованияEnglish-Russian dictionary of technical terms > existence proof
-
6 existence proof
-
7 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
8 proof
1) доказательство
2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof
-
9 existence
1) существование
2) наличие
– existence of a solution
– existence proof
– existence quantifier
– existence theorem
– global existence
existence and uniqueness of solution — существование и единственность решения
-
10 the key tool in the proof of Theorem 1 are asymptotic existence theorems which were proved in [4]
Математика: центральное орудиеУниверсальный англо-русский словарь > the key tool in the proof of Theorem 1 are asymptotic existence theorems which were proved in [4]
-
11 the key tools in the proof of Theorem 1 are asymptotic existence theorems [3]
Математика: основным средством в доказательствеУниверсальный англо-русский словарь > the key tools in the proof of Theorem 1 are asymptotic existence theorems [3]
-
12 доказательство существования
Большой англо-русский и русско-английский словарь > доказательство существования
-
13 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
14 appeal
əˈpi:l
1. сущ.
1) призыв, обращение, воззвание( to - к) to make an appeal ≈ выступить с обращением emotional appeal ≈ эмоциональный призыв to make an appeal to the public for donations ≈ призывать общество делать пожертвования
2) просьба, мольба( for - о) desperate appeal ≈ крик отчаяния appeal for pardon ≈ просьба о помиловании Syn: entreaty, request
3) привлекательность, притягательность irresistible appeal ≈ неотразимая привлекательность Movies had a great appeal for him. ≈ Кино имеет для него огромную притягательность. to make an appeal to ≈ притягивать кого-л. to have appeal ≈ нравиться Syn: attraction
4) юр. апелляция;
право апелляции to file an appeal, lodge an appeal ≈ подавать апелляцию to file an appeal against a decision ≈ подать апелляцию по вынесенному решению to lose an appeal ≈ проиграть апелляцию to win an appeal ≈ выиграть апелляцию to take an appeal to a higher court ≈ подать апелляцию в Верховный Суд to deny (dismiss, reject, throw out) an appeal ≈ отклонить апелляцию There is no appeal from a verdict of the higher court. ≈ Нельзя пересматривать решение верховного суда. brief on appeal ≈ записка по делу( предоставляется адвокатом в апелляционный суд)
2. гл.
1) апеллировать, обращаться, прибегать, взывать( to - к) For the proof of the existence of the conscience, we appeal to the consciousness. ≈ Для доказательства существования сознания мы обращаемся к сознанию. appeal to the facts ≈ обращаться к фактам appeal to reason ≈ апеллировать к здравому смыслу
2) взывать, просить, умолять, упрашивать (to;
for) The universities are having to appeal to the government for more money. ≈ Университетам приходится обращаться к правительству за деньгами. I appeal to you to let me alone. ≈ Я умоляю тебя оставить меня в покое. Syn: cry, call, plead
3) привлекать, притягивать;
влечь, манить, нравиться (to) Its poetical and romantic attractions appeal even to a person so little poetical as Hobbes. ≈ Их поэтическое и романтическое очарование притягивает даже такую малопоэтическую натуру, как Хоббс. Syn: please
4) юр. подавать апелляционную жалобу, обжаловать (against) Jim appealed successfully against the judgement that he was guilty. ≈ Джим подал апелляционную жалобу на решение суда признать его виновным, и она была удовлетворена. appeal against the light ∙ to appeal to the country ≈ распустить парламент и назначить новые выборы to appeal from Philip drunk to Philip sober ≈ уговаривать отказаться от необдуманного решениявоззвание, обращение, призыв - World Peace Council's A. Обращение Всемирного Совета Мира - to support an * поддерживать обращение - to make an * to smb.'s feelings взывать к чувствам просьба, мольба (о помощи) - mute * безмолвная просьба - to respond to an * реагировать на просьбу - to make an * for help молить о помощи привлекательность, притягательность, очарование - singular * особое обаяние - delicate * тонкое очарование - movies have a great * for him он очень увлекается кинематографом (юридическое) обжалование, жалоба;
апелляция - right of * право обжалования( судебного решения или приговора) - by way of * путем обжалования (приговора) - to be without * не подлежать обжалованию - to file an * подавать жалобу, апеллировать в высшую инстанцию;
подавать дело на пересмотр( юридическое) право апелляции (спортивное) апелляция к судье - to make an * to the umpire обращаться к судье (с просьбой о решении спорного вопроса) ;
апеллировать к судье (в случае нарушения правил) (редкое) применение, употребление - to make an * to force прибегать к силе( для решения спорного вопроса) апеллировать, взывать;
обращаться с призывом - to * to the public for contributions обратиться к общественности с просьбой о пожервтованиях (на оказание помощи пострадавшим) - to * reason взывать к разуму - I * to you to say whether I am speaking the truth я прошу вас подтвердить, что я говорю правду просить, молить, умолять - to * for mercy молить о пощаде - the drifting ship *ed for help дрейфующее судно взывало о помощи привлекать, интересовать;
волновать, трогать - to * to the eye радовать глаз - the paintings * to him картины привлекают его - does this sort of music * to you? вам нравится такая музыка? ссылаться;
аргументировать - to * to facts ссылаться на факты - to * to history обращаться к истории, призывать в свидетели историю - he *ed to the number of dead as the reason why the fighting should stop необходимость выхода из боя он аргументировал числом убитых (юридическое) обжаловать, апеллировать, подавать апелляционную жалобу - to * against the judge's decision обжаловать решение судьи - the sentence has been *ed against решение суда обжаловано;
приговор суда обжалован (спортивное) апеллировать к арбитру;
обращаться к судье за разрешением спорного вопроса, конфликта - the captain *ed against the light капитан обратился к арбитру с предложением прекратить игру из-за наступления сумерек прибегать - if you do not obey I shall * to force если вы не подчинитесь, я применю силу > to * from Philip drunk to Philip sober просить трезво взвесить все обстоятельства и пересмотреть неразумное решениеadministrative ~ административная апелляцияappeal привлекательность;
to make an appeal (to smb.) привлекать (кого-л.), действовать притягательно (на кого-л.) ;
to have appeal быть привлекательным, нравиться ~ апеллировать, обращаться, прибегать, взывать (to - к) ;
to appeal to the fact ссылаться на факт;
to appeal to reason апеллировать к здравому смыслу;
to appeal to arms прибегать к оружию ~ апеллировать ~ апелляционная жалоба ~ юр. апелляция;
право апелляции ~ апелляция ~ взывать, умолять ~ влечение ~ воззвание;
World Peace Council's Appeal Обращение Всемирного Совета Мира ~ воззвание ~ обжалование ~ обжалованние ~ обжаловать ~ обращение ~ юр. подавать апелляционную жалобу;
to appeal to the country распустить парламент и назначить новые выборы;
to appeal from Philip drunk to Philip sober = уговаривать отказаться от необдуманного решения ~ подавать апелляционную жалобу ~ право апелляции ~ привлекательность ~ привлекать, притягивать;
нравиться;
these pictures do not appeal to me эти картины не трогают меня ~ призыв, обращение (to - к) ~ призыв, воззвание;
апелляция ~ призыв ~ притягательность ~ просить ~ просьба, мольба (for - o) ;
appeal for pardon просьба о помиловании ~ просьба Appeal: Appeal: Lord of ~ in Ordinary лорд - ординарий апелляционного суда (Великобритания) appeal: appeal: mass ~ обращение к широкой аудитории~ просьба, мольба (for - o) ;
appeal for pardon просьба о помиловании~ юр. подавать апелляционную жалобу;
to appeal to the country распустить парламент и назначить новые выборы;
to appeal from Philip drunk to Philip sober = уговаривать отказаться от необдуманного решения~ on a point of fact апеллировать к фактам~ to ссылаться~ апеллировать, обращаться, прибегать, взывать (to - к) ;
to appeal to the fact ссылаться на факт;
to appeal to reason апеллировать к здравому смыслу;
to appeal to arms прибегать к оружию arm: to take up arms, to appeal to ~s взяться за оружие;
to lay down arms сложить оружие;
to arms! к оружию!;
under arms вооруженный, под ружьем~ апеллировать, обращаться, прибегать, взывать (to - к) ;
to appeal to the fact ссылаться на факт;
to appeal to reason апеллировать к здравому смыслу;
to appeal to arms прибегать к оружию~ юр. подавать апелляционную жалобу;
to appeal to the country распустить парламент и назначить новые выборы;
to appeal from Philip drunk to Philip sober = уговаривать отказаться от необдуманного решения country: ~ attr. сельский;
деревенский;
to appeal (или to go) to the country распустить парламент и назначить новые выборы~ апеллировать, обращаться, прибегать, взывать (to - к) ;
to appeal to the fact ссылаться на факт;
to appeal to reason апеллировать к здравому смыслу;
to appeal to arms прибегать к оружиюautomatic right of ~ автоматическое право апелляцииbring an ~ подавать апелляциюdismiss an ~ отклонять апелляционную жалобу dismiss an ~ отклонять апелляциюemotional ~ рекл. эмоциональное обращениеenter an ~ подавать апелляциюfear ~ запугивание( в рекламе)generic ~ рекл. обращение к широкой аудиторииappeal привлекательность;
to make an appeal (to smb.) привлекать (кого-л.), действовать притягательно (на кого-л.) ;
to have appeal быть привлекательным, нравитьсяinterlocutory ~ апелляция, поданная в ходе судебного разбирательства interlocutory ~ предварительная апелляцияleap-frog ~ апелляция, поданная непосредственно в палату лордов leap-frog ~ апелляция, поданная не по инстанцииlodge an ~ подавать апелляциюappeal: mass ~ обращение к широкой аудиторииmunicipal ~ общественное обращениеrefuse an ~ отклонять апелляциюright of ~ право обжалования right: ~ of appeal право обжалования ~ of appeal право подачи апелляционной жалобыsex ~ физическая, сексуальная привлекательность (обыкн. женщины)~ привлекать, притягивать;
нравиться;
these pictures do not appeal to me эти картины не трогают меняwithdraw an ~ отказываться от апелляции~ воззвание;
World Peace Council's Appeal Обращение Всемирного Совета Мира -
15 theorem
теорема
– altitude theorem
– Arzela-Ascoli theorem
– azygetic theorem
– binomial theorem
– compensation theorem
– conclusion of theorem
– conductor-ramification theorem
– converse of theorem
– deduction theorem
– distortion theorem
– duality theorem
– embedding theorem
– existence theorem
– expansion theorem
– gap theorem
– Karhunen-Loeve theorem
– localization theorem
– mean-value theorem
– minimax theorem
– Nagy-Faias theorem
– Nikodym theorem
– Plancherel theorem
– preparation theorem
– remainder theorem
– reverse-flow theorem
– sampling theorem
– sewing theorem
– shift theorem
– similarity theorem
– theorem os sines
– Theveni's theorem
– transference theorem
– uniqueness theorem
– Van Cittert-Zernike theorem
– Wiener-Paley theorem
central limit theorem — теорема о центральном пределе, теорема предельная центральная, центральная предельная теорема
Fermat's last theorem — Ферма великая теорема, последняя теорема Ферма
Nyquist-Kotelnikov-Shannon sampling theorem — <math.> теорема отсчетов Шеннона-Котельникова
theorem of corresponding states — теорема соответственных состояний
-
16 tree
1) вчт древовидная схема; древовидный дешифратор2) дерево (напр. графа) || древовидный3) крист. дендрит•- tree of given weight
- tree of objectives
- tree of statements
- abstract syntax tree
- adaptive tree
- Adel'son-Vel'ski-Landis tree
- Aronshine tree
- AVL tree
- B-tree
- balanced tree
- bifurcation tree
- binary tree
- binary searchtree
- Boolean tree
- branching tree
- Cartesian tree
- Cayley tree
- choice tree
- classification tree
- classification and regression tree
- clock tree
- cluster tree
- co-tree
- code tree
- command tree
- complement tree
- complete code tree
- computation tree
- conference tree
- countable tree
- decision tree
- decomposition tree
- deduction tree
- derivation tree
- edge-rooted tree
- equipotential tree
- existence trie tree
- fault tree
- Feigenbaum tree
- Fibonacci tree
- finite tree
- fractal tree
- game tree
- generation tree
- graph tree
- hardware tree
- hierarchical tree
- homeomorphically irreducible tree
- Husimi tree
- hypothesis search tree
- inference tree
- information tree
- labeled tree
- language tree
- lexicographic tree
- loaded fractal tree
- logical tree
- minimal tree
- minimal length tree
- multibranch tree
- multiway tree
- normal tree
- optimal tree
- optimal merge tree
- optimal search tree
- ordered tree
- oriented tree
- outcome tree
- parse tree
- parsing tree
- patricia tree
- planar tree
- plane tree
- priority tree
- priority search tree
- probability tree
- production tree
- proper tree
- proof tree
- radix tree
- randomized binary tree
- RB tree
- recursive tree
- red-black tree
- response tree
- rooted tree
- search tree
- selection tree
- shortest tree
- shortest-distance tree
- signed tree
- spanning tree
- specific tree
- subject tree
- subspanning tree
- suffix tree
- symmetric tree
- syntax tree
- ternary tree
- ternary search tree
- threaded tree
- topological tree
- transition tree
- trie tree
- two-color tree
- two-dimensional tree
- two-level tree
- unlabeled tree
- weighted tree -
17 appeal
[ə'piːl] 1. сущ.1) призыв, обращение, воззвание (к кому-л.)2) просьба, мольба (о чём-л.)Syn:3) привлекательность, притягательностьMovies had a great appeal for him. — Кино обладало для него огромной притягательностью.
to make an appeal to — притягивать кого-л.
eye appeal — внешняя привлекательность; глаз не оторвать
Syn:4)а) юр. апелляция; право апелляцииto file / lodge an appeal — подавать апелляцию
to deny / dismiss / reject / throw out an appeal — отклонить апелляцию
There is no appeal from a verdict of the higher court. — Нельзя пересматривать решение высшей судебной инстанции.
brief on appeal — амер.; юр. записка по делу ( представляется адвокатом в апелляционный суд)
б) спорт. апелляция к судье2. гл.1) апеллировать, обращаться, прибегать, взывать (к кому-л.)For the proof of the existence of the conscience, we appeal to the consciousness. — Для доказательства существования сознания мы обращаемся к пониманию.
2) взывать, просить, умолять, упрашивать (о чём-л.)The universities are having to appeal to the government for more money. — Университетам приходится выклянчивать деньги у правительства.
I appeal to you to let me alone. — Я умоляю тебя оставить меня в покое.
Syn:3) ( appeal to) привлекать, притягивать; влечь, манить, нравитьсяIts poetical and romantic attractions appeal even to a person so little poetical as Hobbes. — Его поэтическое и романтическое очарование притягивает даже такую далёкую от поэтики натуру, как Гоббс.
Syn:4) ( against)а) юр. подавать апелляционную жалобу, обжаловатьб) жаловаться•• -
18 substantiality
[səbˌstæn(t)ʃɪ'ælətɪ]сущ.1) реальность, вещественность, материальностьBerkely maintains that our senses do not afford us any proof of the existence or substantiality of their objects. — Беркли утверждает, что наши чувства не предоставляют нам никаких доказательств существования или реальности тех предметов, что их вызвали.
2) прочность, солидность, надёжностьSyn:3) прочность, устойчивостьSyn: -
19 appeal
I [ə'piːl] n1) обращение, просьба, призыв, воззвание- public appeal- direct appeal
- appeal for support
- make an appeal to the nation
- sign an appeal
- answer an appeal
- make an appeal to smb's feelings2) очарование, обаяние, привлекательность, притягательная силаMovies have a great appeal for him. — Он очень увлекается кино.
II [ə'piːl] vOutings lost their appeal to/for me. — Поездки за город потеряли для меня свою привлекательность
1) обращаться (с просьбой), взывать, просить, прибегать, апеллироватьIt's no use appealing to him. — К нему бесполезно обращаться.
For the proof of the existence of the conscience, we appeal to the consciousness. — Для доказательства существования сознания мы обращаемся к пониманию.
- appeal to the public for help- appeal to reason
- appeal to the facts2) привлекать, нравиться- this idea doesn't appeal to meIts poetical and romantic attractions appeal even to a person so little poetical as Hobbes. — Их поэтическое и романтическое очарование притягивает даже такую малопоэтическую натуру, как Хоббс.
•CHOICE OF WORDS:Русским обращаться с просьбой, обращаться за чем-либо соответствует ряд слов в английском языке: to appeal, to apply в значении (1.), to consult, to turn to, to go to, to see. Глаголы to appeal и to apply употребляются в официальной речи в отличие от to turn, to go, to see, имеющих более общий, нейтральный характер. Глагол to apply связан с небольшой группой сочетающихся с ним имен существительных, таких как to apply for work (for information, for permission, for help, for a job) обращаться за работой (за информацией, за разрешением, за помощью). В этих сочетаниях глагол to apply предполагает обращение к вышестоящему должностному лицу либо в инстанцию, которая может удовлетворить просьбу. Глагол to appeal имеет эмоциональную характеристику и подчеркивает настоятельность просьбы, направлен к чувствам собеседника и подразумевает надежду на благоприятный отклик; соответственно глагол to appeal сочетается с такими существительными, как sympathy, help, money, sense of duty, feeling, sense of honour. Глагол to consult ограничен характером просьбы. Глагольные сочетания to turn to smb for smth, to go to smb for smth, to see smb about smth нейтральны и часто более выразительны, так как указывают на конкретные действия: to see one's doctor about the desease обратиться к доктору по поводу болезни; to go to one's father for money обратиться к отцу за деньгами; to turn to one's friend for advice обратиться к другу за советом
См. также в других словарях:
Existence of God — The Existence of God † Catholic Encyclopedia ► The Existence of God The topic will be treated as follows: I. As Known Through Natural Reason A. The Problem Stated 1. Formal Anti Theism 2. Types of Theism B.… … Catholic encyclopedia
Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof Proof … Catholic encyclopedia
proof — n [alteration of Middle English preove, from Old French preuve, from Late Latin proba, from Latin probare to prove] 1: the effect of evidence sufficient to persuade a reasonable person that a particular fact exists see also evidence 2: the… … Law dictionary
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof of delivery — is a method to establish the fact that the recipient received the contents sent by the sender. When the sender sends multiple documents through the mail there is a possibility of some not reaching the intended recipient. Generally post offices… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
Existence of God — Part of a series on God General conceptions … Wikipedia
Existence theorem — In mathematics, an existence theorem is a theorem with a statement beginning there exist(s) .. , or more generally for all x, y, ... there exist(s) ... . That is, in more formal terms of symbolic logic, it is a theorem with a statement involving… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Existence — For other uses, see Existence (disambiguation). Philosophy … Wikipedia
Proof that the sum of the reciprocals of the primes diverges — In the third century BC, Euclid proved the existence of infinitely many prime numbers. In the 18th century, Leonhard Euler proved a stronger statement: the sum of the reciprocals of all prime numbers diverges. Here, we present a number of proofs… … Wikipedia